Property-Preserving Composition of Augmented Marked Graphs for System Integration

Augmented marked graphs possess some special characteristics desirable for the analysis and modelling of shared-resource systems. This paper investigates the composition of augmented marked graphs via common resource places, with a focus on preservation of liveness, boundedness, reversibility and conservativeness. It is then applied to system integration, where system components are specified as augmented marked graphs and composed via common resource places. Based on the preservation of properties of this composition, the liveness, boundedness, reversibility and conservativeness of the integrated system can be readily derived. This is illustrated using an example of manufacturing systems.